Reasoning about actions and change in argumentation

Reasoning about actions and change in argumentation

This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of translating the language E for RAC into a logic-based argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence from obse...

An Argumentation Framework of Reasoning about Actions and Change

Default Reasoning about Actions via Abstract Argumentation

Reasoning about actions is a subfield of artificial intelligence that is concerned with representing and reasoning about dynamic domains. We propose to employ abstract argumentation for this purpose. Specifically, we present a translation of action domains from a specification language into Dung-style argumentation frameworks (AFs). As the key advantage of our approach, we use existing semantic...

Reasoning about Actions and Change with Ramiication

The systematic approach to nonmonotonic logics of actions and change attempts to identify, for each proposed logic, what is its range of applicability relative to a precise deenition of intended models. The article describes the concepts and methods that are used in this approach, and examples of assessed range of applicability for a few of the previously proposed logics in the case of strict i...

Reasoning about Actions and Change with Ramification

The systematic approach to nonmonotonic logics of actions and change attempts to identify, for each proposed logic, what is its range of applicability relative to a precise deenition of intended models. The article describes the concepts and methods that are used in this approach, and examples of assessed range of applicability for a few of the previously proposed logics in the case of strict i...